Generators and relations for n-qubit Clifford operators
نویسنده
چکیده
We define a normal form for Clifford circuits, and we prove that every Clifford operator has a unique normal form. Moreover, we present a rewrite system by which any Clifford circuit can be reduced to normal form. This yields a presentation of Clifford operators in terms of generators and relations.
منابع مشابه
Exact synthesis of multi-qubit Clifford+T circuits
We prove that a unitary matrix has an exact representation over the Clifford+T gate set with local ancillas if and only if its entries are in the ring Z[ 1 √ 2 , i]. Moreover, we show that one ancilla always suffices. These facts were conjectured by Kliuchnikov, Maslov, and Mosca. We obtain an algorithm for synthesizing a exact Clifford+T circuit from any such n-qubit operator. We also characte...
متن کاملFinite Geometries with Qubit Operators
Finite projective geometries, especially the Fano plane, have been observed to arise in the context of certain quantum gate operators. We use Clifford algebras to explain why these geometries, both planar and higher dimensional, appear in the context of multi-qubit composite systems.
متن کاملThe exact synthesis of 1- and 2-qubit Clifford+T circuits
We describe a new method for the decomposition of an arbitrary n qubit operator with entries in Z[i, 1 √ 2 ], i.e., of the form a+b √ 2+i(c+d √ 2) √ 2 k , into Clifford+T operators where n ≤ 2. This method achieves a bound of O(k) gates using at most one ancilla using decomposition into 1and 2-level matrices which was first proposed by Giles and Selinger in [2].
متن کاملQuantum Gates and Clifford Algebras
Clifford algebras are used for definition of spinors. Because of using spin-1/2 systems as an adequate model of quantum bit, a relation of the algebras with quantum information science has physical reasons. But there are simple mathematical properties of the algebras those also justifies such applications. First, any complex Clifford algebra with 2n generators, Cll(2n, C), has representation as...
متن کاملRemarks on Matsumoto and Amano's normal form for single-qubit Clifford+T operators
Matsumoto and Amano (2008) showed that every single-qubit Clifford+T operator can be uniquely written of a particular form, which we call the Matsumoto-Amano normal form. In this mostly expository paper, we give a detailed and streamlined presentation of Matsumoto and Amano’s results, simplifying some proofs along the way. We also point out some corollaries to Matsumoto and Amano’s work, includ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logical Methods in Computer Science
دوره 11 شماره
صفحات -
تاریخ انتشار 2013